\begin{tabbing}
(\=(((AbReduce ({-}2)) \+
\\[0ex]CollapseTHEN (AbReduce ({-}1)))$\cdot$) 
\\[0ex]CollapseTHEN (Assert $\forall$$j$:\{$k$:$\mathbb{N}\mid$ \=\+
\\[0ex]$k$ $<$ $i$\} .
\-\-\\[0ex]$f$($j$) $\in$ $\mathbb{Z}$))$\cdot$
\end{tabbing}